Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 6.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000590 | Véronique Cortier [France] ; Fabienne Eigner [Allemagne] ; Steve Kremer [France] ; Matteo Maffei [Allemagne] ; Cyrille Wiedling [Belgique] | Type-Based Verification of Electronic Voting Protocols |
| 000875 | Cyrille Wiedling [France] | Formal Verification of Advanced Families of Security Protocols: E-Voting and APIs |
| 001925 | Véronique Cortier [France] ; Graham Steel [France] ; Cyrille Wiedling [France] | Revoke and Let Live: A Secure Key Revocation API for Cryptographic Devices |
| 001A07 | Véronique Cortier [France] ; Graham Steel [France] ; Cyrille Wiedling [France] | Revoke and Let Live: A Secure Key Revocation API for Cryptographic Devices |
| 001C01 | Véronique Cortier [France] ; Cyrille Wiedling [France] | A formal analysis of the Norwegian E-voting protocol |
| 002026 | Véronique Cortier [France] ; Cyrille Wiedling [France] | A formal analysis of the Norwegian e-voting protocol |
| This area was generated with Dilib version V0.6.33. |  |